$i$ x(${\it op}$;${\it id}$;${\it inv}$) $e$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if 0 $\leq$z $i$ then $i$ x(${\it op}$;${\it id}$) $e$ else ${\it inv}$({-}$i$ x(${\it op}$;${\it id}$) $e$) fi